Characterizing binary discriminator algebras
نویسندگان
چکیده
منابع مشابه
Characterizing Binary Discriminator Algebras
The concept of the (dual) binary discriminator was introduced by R.Halaš, I.G.Rosenberg and the author in 1999. We study finite algebras having the (dual) discriminator as a term function. In particular, a simple characterization is obtained for such algebras with a majority term function.
متن کاملDiscriminator Varieties of Boolean Algebras with Residuated Operators
The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties. Here we give several such examples for Boolean algebras with a residuated binary operator, abbreviated as r-algebras. More specifically, we show that all finite r-algebras, all integral r...
متن کاملCharacterizing determinacy in Kleene algebras
Elements of Kleene algebras can be used, among others, as abstractions of the inputoutput semantics of nondeterministic programs or as models for the association of pointers with their target objects. In the first case, one seeks to distinguish the subclass of elements that correspond to deterministic programs. In the second case one is only interested in functional correspondences, since it do...
متن کاملCharacterizing Tolerance Trivial Finite Algebras
An algebra A is tolerance trivial if Tol A = ConA where Tol A is the lattice of all tolerances on A. If A contains a Mal'cev function compatible with each T Tol A, then A is tolerance trivial. We investigate nite algebras satisfying also the converse statement. Let R be a binary relation on a set A and f be an n-ary function on A. We say that f is compatible with R or that R is compatible with ...
متن کاملThe connection of skew Boolean algebras and discriminator varieties to Church algebras
We establish a connection between skew Boolean algebras and Church algebras. We prove that the set of all semicentral elements in a right Church algebra forms a right-handed skew Boolean algebra for the properly defined operations. The main result of this paper states that the variety of all semicentral right Church algebras of type τ is term equivalent to the variety of right-handed skew Boole...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematica Bohemica
سال: 2000
ISSN: 0862-7959,2464-7136
DOI: 10.21136/mb.2000.126269